Categories
Proof theory
Topic: Category
From HandWiki - Reading time: 2 min
Here is a list of articles in the Proof theory category of the Computing portal that unifies foundations of mathematics and computations using computers.
In mathematics, Proof theory is the study of formalized arguments.
Subcategories
This category has the following 7 subcategories, out of 7 total.
M
- Mathematical induction (8 P)
P
- Proof theorists (12 P)
- Provability logic (6 P)
R
- Rules of inference (44 P)
S
Pages in category "Proof theory"
The following 104 pages are in this category, out of 104 total.
B
C
D
E
G
N
P
- Philosophy:Paraconsistent mathematics
- Philosophy:Peano–Russell notation
- Presburger arithmetic
- Primitive recursive functional
- Proof (truth)
- Philosophy:Proof calculus
- Philosophy:Proof compression
- Philosophy:Proof mining
- Philosophy:Proof net
- Philosophy:Proof procedure
- Proof-theoretic semantics
- Philosophy:Provability logic
- Ψ0(Ωω)
- Ψ₀(Ωω)
- Pure type system
R
S
T
Licensed under CC BY-SA 3.0 | Source: https://handwiki.org/wiki/Category:Proof_theory8 views | ↧ Download this article as ZWI file
EncycloReader
is supported by the 
KSF